机译:客座编辑介绍:petri网和性能模型国际研讨会上关于petri网性能模型的特节(pNpm '87)
机译:推进测试自动化技术以应对基于模型的软件测试的挑战-客座编辑介绍了第三届IEEE国际软件测试自动化研讨会(AST 2008)的特殊部分
机译:基于混合Petri网的灌装厂故障诊断与容错控制建模,分析与性能评估
机译:短通信在以混合Petri网为模型的系统中的性能评估和模型检查
机译:第四届Petri网和性能模型国际研讨会(PNPM91)的会议记录(目录号91TH0386-3)
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:高速网络中的性能和安全性折衷。基于排队网络和广义随机Petri网的定量分析和实验,研究了高速网络的性能,安全性建模和评估。